Regular resolution for CNF of bounded incidence treewidth with few long clauses

We demonstrate that Regular Resolution is FPT for two restricted families of CNFs of bounded incidence treewidth. The first includes CNFs having at most $p$ clauses whose removal results in a CNF of primal treewidth at most $k$. The parameters we use in this case are $p$ and $k$. The second class includes CNFs of bounded one-sided (incidence) treewdth, a new parameter generalizing both primal treewidth and incidence pathwidth. The parameter we use in this case is the one-sided treewidth

Flux tubes in Nf=2+1N_f=2+1 QCD with external magnetic fields

We study the behavior of the confining flux tube in $N_f=2+1$ QCD at the physical point, discretized with the stout smearing improved staggered quark action and the tree level Symanzik gauge action. We discuss how it depends on a uniform external magnetic field, showing how it displays anisotropies with respect to the magnetic field direction. Moreover, we compare the observed anisotropy pattern with that of the static quark-antiquark potential we obtained in our previous works.Comment: 8 pages, 35th International Symposium on Lattice Field Theory, Granada, Spai

Identificación del nivel de riesgo psicosocial intralaboral y nivel de estrés laboral en docentes de establecimientos educativos oficiales urbanos del municipio de Caucasia Antioquia para el año 2018

RESUMEN: Objetivo. Identificar el nivel de riesgo psicosocial intralaboral y el nivel de estrés laboral en los docentes de establecimientos educativos oficiales urbanos del municipio de Caucasia en el año 2018. Metodología. Estudio de tipo descriptivo no experimental, transversal y correlacional, realizado en 215 docentes del municipio de Caucasia. El cuestionario de factores de riesgo psicosocial intralaboral forma A, la ficha de datos generales y el cuestionario para la evaluación del estrés de la batería de instrumentos para la evaluación de factores de riesgo psicosocial del Ministerio de Salud y Protección Social fueron los instrumentos utilizados para recopilar la información. Resultados. El 48,9% de los docentes obtuvieron nivel alto de riesgo psicosocial intralaboral y el 59,1% presentaron un nivel alto de estrés. El dominio y la dimensión con mayor número de docentes en nivel de riesgo alto fueron demandas del trabajo, y demandas ambientales y de esfuerzo físico. Los síntomas reveladores de las reacciones de estrés que se presentaron con mayor frecuencia fueron: dolores en el cuello, tensión muscular, y los problemas gastrointestinales. El dominio y la dimensión con mayor coeficiente de correlación fueron demandas del trabajo (rho= 0,416 p < 0,01) e influencia del trabajo sobre el entorno extralaboral (rho =0,445 p < 0,01). Discusiones y conclusiones: Se identificó un nivel de riesgo psicosocial intralaboral y estrés alto, lo que confirma que la labor docente en el municipio de Caucasia tiene altas exigencias dentro del entorno laboral

Optimisation techniques for flexible SPARQL queries

RDF datasets can be queried using the SPARQL language but are often irregularly structured and incomplete, which may make precise query formulation hard for users. The SPARQL$^{AR}$ language extends SPARQL 1.1 with two operators - APPROX and RELAX - so as to allow flexible querying over property paths. These operators encapsulate different dimensions of query flexibility, namely approximation and generalisation, and they allow users to query complex, heterogeneous knowledge graphs without needing to know precisely how the data is structured. Earlier work has described the syntax, semantics and complexity of SPARQL$^{AR}$, has demonstrated its practical feasibility, but has also highlighted the need for improving the speed of query evaluation. In the present paper, we focus on the design of two optimisation techniques targeted at speeding up the execution of SPARQL$^{AR}$ queries and on their empirical evaluation on three knowledge graphs: LUBM, DBpedia and YAGO. We show that applying these optimisations can result in substantial improvements in the execution times of longer-running queries (sometimes by one or more orders of magnitude) without incurring significant performance penalties for fast queries

Real-world outcomes of treatment with insulin glargine 300 U/mL versus standard-of-care in people with uncontrolled type 2 diabetes mellitus

Objective: To compare real-world outcomes with newer (insulin glargine 300 U/mL; Gla-300) versus standard of care (SoC) basal insulins (BIs) in the REACH (insulin-naive; NCT02967224) and REGAIN (basal insulin-treated; NCT02967211) studies in participants with uncontrolled type 2 diabetes (T2DM) in Europe and Brazil. Methods: In these open-label, parallel-group, pragmatic studies, patients (HbA(1c) > 7.0%) were randomized to Gla-300 or SoC BI for a 6-month treatment period (to demonstrate non-inferiority of Gla-300 vs SoC BIs for HbA(1c) change [non-inferiority margin 0.3%]) and a 6-month extension period (continuing with their assigned treatment). Insulin titration/other medication changes were at investigator/patient discretion post-randomization. Results: Overall, 703 patients were randomized to treatment in REACH (Gla-300, n = 352; SoC, n = 351) and 609 (Gla-300, n = 305, SoC, n = 304) in REGAIN. The primary outcome, non-inferiority of Gla-300 versus SoC for HbA(1c) change from baseline to month 6, was met in REACH (least squares [LS] mean difference 0.12% [95% CI -0.046 to 0.281]) but not REGAIN (LS mean difference 0.17% [0.015-0.329]); no between-treatment difference in HbA(1c) change was shown after 12 months in either study. BI dose increased minimally from baseline to 12 months in REACH (Gla-300, +0.17 U/kg; SoC, +0.15 U/kg) and REGAIN (Gla-300, +0.11 U/kg; SoC, +0.07 U/kg). Hypoglycemia incidence was low and similar between treatment arms in both studies. Conclusions: In both REACH and REGAIN, no differences in glycemic control or hypoglycemia outcomes with Gla-300 versus SoC BIs were seen over 12 months. However, the suboptimal insulin titration in REACH and REGAIN limits comparisons of outcomes between treatment arms and suggests that more titration instruction/support may be required for patients to fully derive the benefits from newer basal insulin formulations

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO